/*
 * my_timer.c
 *
 *  Created on: Dec 2, 2012
 *      Author: andrey
 */

#include <stm32f4xx_rcc.h>
#include <stm32f4xx_tim.h>
#include <stm32f4xx_gpio.h>
#include "my_timer.h"
#include "misc.h"
#include "denso_adc_io.h"
#include "denso_adc_logic.h"
#include "rfiutil.h"
#include "my_lib.h"

#include "data_buffer.h"

int IC1Value = 0, IC2Value = 0;
volatile int eventCounter;

int getEventCounter() {
	return eventCounter;
}

#define XXX TIM4

//data_buffer_s IC1;
//data_buffer_s IC2;
//data_buffer_s times;
//data_buffer_s counts;
//data_buffer_s values;


int getIC1Value() {
	return IC1Value;
}

int getIC2Value() {
	return IC2Value;
}
